🧩 Constraint Programming - hello · Scour

Dsat: A Native SAT Solver for Discrete Logic 🧮SMT Solvers

Simplex Algorithm 📊Dynamic Programming

en.wikipedia.org·3d·Hacker News

Large language model assisted hyper-heuristic evolutionary algorithm for groundwater level prediction 💬Prompt Engineering

SmileyLlama: modifying large language models for directed chemical space exploration 💬Prompt Engineering

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs 🧮SMT Solvers

Automated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMs 🧮SMT Solvers

Lattice Deduction Transformers 🌳Pratt Parsing

Bounding Fixed Points of Non-Monotone Processes: Theory to Practice 📊Dynamic Programming

From Single-Step Edit Response to Multi-Step Molecular Optimization 🧬Computational Biology

Traffic Scenario Orchestration from Language via Constraint Satisfaction 🎭Program Synthesis

ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis 🎭Program Synthesis

Select-then-differentiate: Solving Bilevel Optimization with Manifold Lower-level Solution Sets 📊Dynamic Programming

Confidence-Aware Alignment Makes Reasoning LLMs More Reliable 🧮SMT Solvers

Budget-Efficient Automatic Algorithm Design via Code Graph ⚡Incremental Computation

Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions 🧮SMT Solvers

Penalty-Based First-Order Methods for Bilevel Optimization with Minimax and Constrained Lower-Level Problems 📊Dynamic Programming

Navigating LLM Valley: From AdamW to Memory-Efficient and Matrix-Based Optimizers 🤖TVM

MolWorld: Molecule World Models for Actionable Molecular Optimization 🧬Computational Biology

Fast and Effective Redistricting Optimization via Composite-Move Tabu Search 🔍Fractional Cascading

Relation Reasoning with LLMs in Expensive Optimization 💬Prompt Engineering

Log in to enable infinite scrolling